2016 FALL CONVOCATION hosted by the departments of Philosophy and Logic & Philosophy of Science welcoming new and current

Source URL: www.lps.uci.edu

Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI,

Source URL: web.cs.wpi.edu

• Temporal logic
• Linear temporal logic
• Diagram
• Symbol
• FO

1 Abstraction as a Means for End-User Computing in Creative Applications Mira Balaban () Eli Barzilay ()

Source URL: barzilay.org

• Abstraction
• Theoretical computer science
• Lambda calculus
• Software engineering
• Cognitive science
• Models of computation
• Logic in computer science
• Data management
• Combinatory logic
• Factory
• Deductive lambda calculus

Aydin M o hse n i Contact Information address Department of Logic and Philosophy of Science

Source URL: aydinmohseni.com

• Formal sciences
• Logic
• Logic in computer science
• Mathematical logic
• Non-classical logic
• Philosophy
• Minneapolis College of Art and Design
• Mathematics
• Intuitionistic logic

Verified Peephole Optimizations for CompCert Eric Mullen Daryl Zuniga University of Washington, USA

Source URL: peek.uwplse.org

• Computing
• Software engineering
• Software
• Compiler optimizations
• Programming language implementation
• Compiler construction
• Formal methods
• Logic in computer science
• CompCert
• Low-level programming language
• Peephole optimization
• Formal verification

In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract

Source URL: www2.lingfil.uu.se

• Logic
• Mathematical logic
• Theoretical computer science
• Natural language processing
• Formal methods
• Computability theory
• Artificial intelligence
• Decidability
• First-order logic
• Natural language understanding
• Natural language user interface
• Entityrelationship model

Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester

Source URL: homepages.cs.ncl.ac.uk

• Knowledge representation
• Knowledge engineering
• Ontology
• Information science
• Semantic Web
• Computing
• Knowledge
• Web Ontology Language
• Description logic
• Semantic reasoner
• Class
• Gene ontology

Contractibility + transport ⇔ J Carlo Angiuli December 1, 2014 In MLTT, we usually define the identity type as a reflexive relation satisfying J: Γ`M :A Γ`N :A

Source URL: www.carloangiuli.com

• Proof theory
• Riemann surfaces
• Mathematics
• CurryHoward correspondence
• Logic in computer science
• Philosophy of computer science
• Type theory
• Generalised Whitehead product

A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University

Source URL: www.cs.cmu.edu

• Software engineering
• Programming language theory
• Computer programming
• Type theory
• Procedural programming languages
• Functional languages
• Logic in computer science
• Programming language semantics
• Standard ML
• Denotational semantics
• Monad
• Type system

On the Robustness of Qualitative Distance- and Direction-Reasoning* Jung-Hong Hong Department of Surveying Engineering National Cheng-Kung University

Source URL: mapcontext.com

• Cognition
• Reasoning
• Cognitive science
• Logic
• Knowledge representation
• Constraint programming
• Educational psychology
• Spatialtemporal reasoning
• Qualitative reasoning
• Spatial relation
• Reasoning system
• Andrew U. Frank